projects / openmpi.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
openmpi.git
8 years agoImport openmpi_2.1.1-6+rpi1.debian.tar.xz
commit | commitdiff | tree
Peter Michael Green [Wed, 5 Jul 2017 00:52:53 +0000 (01:52 +0100)]
Import openmpi_2.1.1-6+rpi1.debian.tar.xz

[dgit import tarball openmpi 2.1.1-6+rpi1 openmpi_2.1.1-6+rpi1.debian.tar.xz]

Unnamed repository; edit this file 'description' to name the repository.